echo ".bash_profile"
cat .bash_profile
echo "temp_bash_profile"
cat temp_bash_profile

mv .bash_profile x
mv temp_bash_profile .bash_profile
mv x temp_bash_profile

echo ".bash_profile"
cat .bash_profile
echo "temp_bash_profile"
cat temp_bash_profile

source ~/.bash_profile